export {}

// 假定这个nums来自一个明确的接口
const nums = [110, 120, 119, 112];

// 我们已经明确了res一定是数字，但是ts会认为res为 number | undefined
const res = nums.find(i => i > 0);

// 所以直接把res当做数字进行计算时，就会报错
const square = res * res; // 报错

// 解决方式
const num1 = res as number;
const square1 = num1 * num1;

const num2 = <number>res; // JSX 下不能使用